Constrained completion: Theory, implementation, and results

The Knuth-Bendix completion procedure produces complete sets of reductions but can not handle certain rewrite rules such as commutativity. In order to handle such theories, completion procedure were created to find complete sets of reductions modulo an equational theory. The major problem with this method is that it requires a specialized unification algorithm for the equational theory. Although this method works well when such an algorithm exists, these algorithms are not always available and thus alternative methods are needed to attack problems. A way of doing this is to use a completion procedure which finds complete sets of constrained reductions. This type of completion procedure neither requires specialized unification algorithms nor will it fail due to unorientable identities. We present a look at complete sets of reductions with constraints, developed by Gerald Peterson, and the implementation of such a completion procedure for use with HIPER - a fast completion system. The completion procedure code is given and shown correct along with the various support procedures which are needed by the constrained system. These support procedures include a procedure to find constraints using the lexicographic path ordering and a normal form procedure for constraints. The procedure has been implemented for use under the fast HIPER system, developed by Jim Christian, and thus is quick. We apply this new system, HIPER- extension, to attack a variety of word problems. Implementation alternatives are discussed, developed, and compared with each other as well as with the HIPER system. Finally, we look at the problem of finding a complete set of reductions for a ternary boolean algebra. Given are alternatives to attacking this problem and the already known solution along with its run in the HIPER-extension system --Abstract, page iii

Modeling Demand in International and Macro Economics.

Chapter 1: Empirical studies show that tradable consumption goods are more expensive in rich countries. This paper proposes a novel explanation for this apparent failure of the law of one price: Consumers’ utility from tradable goods depends on their consumption of complementary goods and services. Monopolistically competitive firms charge higher prices in countries with more complementary goods and services because consumer demand is less elastic there. The paper provides direct evidence in support of this new explanation. Using free-alongside-ship prices of U.S. and Chinese exports, I demonstrate that prices of specific subsets of tradable goods are higher in countries with high consumption of relevant complementary goods, conditional on per capita income and other country-level determinants of consumer goods prices. Chapter 2: A common presumption in macroeconomics and development economics is that increased growth in the aggregate enhances welfare for everyone in the economy. I show that instead, if the underlying growth is a productivity increase in the sector consumed primarily by one group, the welfare of a second group may fall. I demonstrate this effect in two cases. In the first case, skill-biased technological change in sectors consumed by the skilled rich increases their income beyond the increase in economic wealth, causing a decline in the consumption and welfare of the low-skilled poor. The second case examines trade between two countries, and demonstrates circumstances under which an increase in productivity in the nontradable sector of one country causes a welfare decline for the other country. Chapter 3 (with Lutz Kilian): We develop a structural model of the global market for crude oil that for the first time explicitly allows for shocks to the speculative demand for oil as well as shocks to flow demand and flow supply. Our estimates rule out explanations of the 2003-08 oil price surge based on unexpectedly diminishing oil supplies and based on speculative trading. Instead, this surge was caused by unexpected increases in world oil consumption driven by the global business cycle. There is evidence, however, that speculative demand shifts played an important role during earlier oil price shock episodes including 1979, 1986, and 1990.PHDPublic Policy and EconomicsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/99770/1/dpmurphy_1.pd

Wind/Hydro Power Generation Simulator

This project aims to design a wind or hydro power generation simulator. The original scope of this project was to construct a physical simulation apparatus in which wind/water speed data is fed to a microcontroller that adjusts the control voltage of a motor drive. The spinning DC motor would generate power via a coupled generator whose power output would be a scaled down version of wind/hydroelectric generator power output given the same wind/water speed input. Due to Covid-19, the project was altered to be entirely virtual and was made through Simulink in MATLAB. The virtual simulator attempts to mimic physical system behavior by feeding a user input array, over a time span of 30 seconds, representing wind/water speeds, over a time span of 24 hours, into a programmable function block meant to mimic desired microcontroller behavior. The output of this block is fed to a second function block acting as the system’s motor drive which drives the pre-defined DC motor module. The connected generator module’s output is connected to a DC-DC converter block in order to simulate the system’s ability to power appliances with a constant voltage despite the fluctuating generator output

Intermediate- to Deep-Water Circulation Changes on Short and Long Time Scales

Oceanic circulation remains one of the poorly understood elements of the global climate system, despite its importance to planetary heat redistribution and carbon cycling. The nature of deep-water formation and circulation in ancient oceans are even more poorly constrained. In order to understand climate dynamics of past and future climates we must have a better understanding of the role of deep-ocean circulation. In this dissertation I investigated changes in intermediate- to deep-water circulation in three different ocean basins during two different geologic eras. The first study focused on the late Pleistocene (~25 ? 60 ka) California margin to investigate the role of intermediate water circulation in abrupt climate fluctuations. The other two studies investigated deep-water circulation during the Late Cretaceous (~70 ? 100 Ma) greenhouse interval, to determine if deep waters formed in the southern Indian or Atlantic basins. The above studies employed neodymium isotopes preserved in biogenic apatite (fish teeth and bones) and foraminiferal calcite to reconstruct the provenance of intermediate- to deep-water masses. Here I present data from two sites located at intermediate depths on the late Pleistocene California margin as well as seven Deep Sea Drilling Project and Ocean Drilling Program Cretaceous aged sites; four in the South Atlantic Ocean, and three in the Indian Ocean. The new Pleistocene data rule out changes in the source of intermediate waters to the California margin, thus the recorded changes in seafloor oxygenation were caused by changes in sea surface productivity. In the Cretaceous, the spread of deep waters formed in the high-latitude South Atlantic was hindered by tectonic barriers until the mid Campanian when the subduction of Rio Grande Rise allowed for the continuous flow of deep waters from the Southern Ocean into the North Atlantic. The deep Cretaceous Indian Ocean was filled with deep waters formed in the high-latitude Indian Ocean, until being replaced with waters sourced in the Pacific from the late Cenomanian to early Campanian before a return to southern Indian-sourced waters for the remainder of the study interval

Polymethoxy-1-Alkenes Screening of Chlorella and Spirulina Food Supplements Coupled with In Vivo Toxicity Studies

Selected species of cyanobacteria and green algae have been reported to produce lipophilic polymethoxy-1-alkenes (PMAs) which were shown to exhibit in vivo teratogenicity. Considering that information on PMAs in Arthospira sp. (known commercially as Spirulina) and Chlorella sp. cultivated for food supplement production was essentially lacking, the present study screened Chlorella (n = 10) and Spirulina (n = 13) food supplements registered in the European Union. Mass spectrometry analysis of column fractionated extracts was performed. None of the four variants previously reported in some cyanobacteria and green algae, nor any potentially related structures were detected in the studied samples. Since the isolated lipophilic fractions contained various compounds, they were further screened for in vivo teratogenicity in Danio rerio embryo, and for the potential to induce oxidative stress and genotoxicity in the liver and neurotoxicity in the brain of adult zebrafish. None of the tested food supplements had detectable levels of PMAs or any potentially related structures. No teratogenicity was revealed except for spinal curvature induced by fractions obtained from two Chlorella products. Selected fractions revealed cytotoxicity as indicated by an increased level of reactive oxygen species, catalase activity, lipid peroxidation and increased frequency of DNA strand breaks in hepatic tissue. The majority (60%) of Chlorella fractions induced an increase in cholinesterase activity in zebrafish brain homogenate while exposure to 61.5% of Spirulina fractions was associated with its decrease. The present study confirms that Chlorella and Spirulina food supplements are free of teratogenic PMAs, although the observed in vivo toxicities raise questions regarding the quality of selected products

Pifithrin-alpha inhibits p53 signaling after interaction of the tumor suppressor protein with hsp90 and its nuclear translocation

Pifithrin-alpha (PFTalpha) was originally thought to be a specific inhibitor of signaling by the tumor suppressor protein p53. However, the laboratory that discovered pifithrin recently reported that the compound also inhibits heat shock and glucocorticoid receptor (GR) signaling, and they suggested that PFTalpha targets a factor common to all three signal transduction pathways, such as the hsp90/hsp70-based chaperone machinery (Komarova, E. A., Neznanov, N., Komarov, P. G., Chernov, M. V., Wang, K., and Gudkov, A. V. (2003) J. Biol. Chem. 278, 15465-15468). Because it is important for the mechanistic study of this machinery to identify unique inhibitors of chaperone action, we have examined the effect of PFTalpha on transcriptional activation, the hsp90 heterocomplex assembly, and hsp90-dependent nuclear translocation for both p53 and the GR. At concentrations where PFTalpha blocks p53-mediated induction of p21/Waf-1 in human embryonic kidney cells, we observed no inhibition of GR-mediated induction of a chloramphenicol acetyl transferase reporter in LMCAT cells. PFTalpha did, however, cause a left shift in the dexamethasone dose response curve by increasing intracellular dexamethasone concentration, apparently by competing for dexamethasone efflux from the cell. The assembly of p53 or GR heterocomplexes with hsp90 and immunophilins was not affected by PFTalpha either in vivo or in vitro and did not affect the nuclear translocation of either transcription factor. Thus, we conclude that PFTalpha does not inhibit GR-mediated induction or the function of the chaperone machinery, and, as originally thought, it may specifically inhibit p53 signaling by acting at a stage after p53 translocation to the nucleus.Fil: Murphy, Patrick J.. University of Michigan; Estados UnidosFil: Galigniana, Mario Daniel. University of Michigan; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Morishima, Yoshihiro. University of Michigan; Estados UnidosFil: Harrell, Jennifer M.. University of Michigan; Estados UnidosFil: Kwok, Roland P.. University of Michigan; Estados UnidosFil: Ljungman, Mats. University of Michigan; Estados UnidosFil: Pratt, William B.. University of Michigan; Estados Unido

“True fan = watch match”? In Search of the ‘Authentic’ Soccer Fan.

Academics have created typologies to divide association football (soccer) fans into categories based upon the assumed ‘authenticity’ of their fandom practices. One of the main requirements of ‘authentic’ fandom has been assumed to be match attendance. The goal of this paper was to critically assess this assumption through considering how fans themselves talk about the significance of match attendance as evidence of ‘authentic’ fandom. In light of the fact that the voices of English non-league fans on the ‘authenticity’ debate have so far been overshadowed by the overbearing focus of much previous research on the upper echelons of English soccer, an e-survey was conducted with 151 members of an online community of fans of English Northern League (NL) clubs (a semi-professional / amateur league based in North East England). Findings revealed that opinion was divided on the constituents of ‘authentic’ fandom and match attendance was not deemed to be the core evidence of support for a club by 42% of the sample. Elias (1978) suggested that dichotomous thinking hinders sociological understanding and it is concluded that fan typologies are not sufficient for assessing the ‘authenticity’ of fan activities

Web Support for the Carbon Reduction Partnership in Kingston

The Royal Borough of Kingston, one of thirty-two boroughs in the city of London, is developing a Carbon Reduction Partnership to meet both short and long term CO2 emission goals. Our team provided the partnership with a website that facilitates networking on energy and climate change actions and allows partners to monitor progress in reducing carbon emissions. To support the development of the partnership, the team also identified characteristics critical for the formation, organization and best practice of successful partnerships

Measuring arterial pulsatility with dynamic inflow magnitude contrast

The pulsatility of blood flow through cerebral arteries is clinically important, as it is intrinsically associated with cerebrovascular health. In this study we outline a new MRI approach to measuring the real-time pulsatile flow in cerebral arteries, which is based on the inflow phenomenon associated with fast gradient-recalled-echo acquisitions. Unlike traditional phase-contrast techniques, this new method, which we dub dynamic inflow magnitude contrast (DIMAC), does not require velocity-encoding gradients as sensitivity to flow velocity is derived purely from the inflow effect. We achieved this using a highly accelerated single slice EPI acquisition with a very short TR (15 ms) and a 90° flip angle, thus maximizing inflow contrast. We simulate the spoiled GRE signal in the presence of large arteries and perform a sensitivity analysis. The sensitivity analysis demonstrates that in the regime of high inflow contrast, DIMAC shows much greater sensitivity to flow velocity over blood volume changes. We support this theoretical prediction with in-vivo data collected in two separate experiments designed to demonstrate the utility of the DIMAC signal contrast. We perform a hypercapnia challenge experiment in order to experimentally modulate arterial tone within subjects, and thus modulate the arterial pulsatile flow waveform. We also perform a thigh-cuff release challenge, designed to induce a transient drop in blood pressure, and demonstrate that the continuous DIMAC signal captures the complex transient change in the pulsatile and non-pulsatile components of flow. In summary, this study proposes a new role for a well-established source of MR image contrast and demonstrates its potential for measuring both steady-state and dynamic changes in arterial tone